Contracts as Dynamic Condition Response Graphs
نویسندگان
چکیده
منابع مشابه
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs
We conservatively extend the declarative Dynamic Condition Response (DCR)Graph process model, introduced in the PhD thesis of the second author, to allowfor discrete time deadlines. We prove that safety and liveness properties can beverified by mapping finite timed DCR Graphs to finite state transition systems.We exemplify how deadlines can introduce time-locks and deadlocks and...
متن کاملNested Dynamic Condition Response Graphs
We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giv...
متن کاملDeclarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
We present Dynamic Condition Response Graphs (DCRGraphs) as a declarative, event-based process model inspired by the workflow language employed by our industrial partner and conservatively generalizing prime event structures. A dynamic condition response graph is a directed graph with nodes representing the events that can happen and arrows representing four relations between events: condition,...
متن کاملManaging Complexity in Process Digitalisation with Dynamic Condition Response Graphs
Digitalisation of work and business processes with the aim to provide more efficient services at a higher and consistent quality is high on the agendas in many countries. In Denmark the push for digitalisation is witnessed by the national strategy for digitalisation published every four years. Sadly, it is also witnessed by a number of expensive failed digitalisation projects. In this paper we ...
متن کاملDynamic Condition Response Graphs for Trustworthy Adaptive Case Management
By trustworthy adaptive case management we mean that it should be possible to adapt processes and goals at runtime while guaranteeing that no deadlocks and livelocks are introduced. We propose to support this by applying a formal declarative process model, DCR Graphs, and exemplify its operational semantics that supports both run time changes and formal verification. We show how these technique...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.68.2